School of Computer Science BCS accreditation 2021 - 2026

Although the requirements are determined by the group, they reflect on these and future needs in the final presentation.

Assesement : Presentation

It enables students to use logic to establish such criteria formally and it provides examples fo how to give proofs of such properties.

Assesement : Examination, Individual coursework

The unit introduces the notion of computational correctness and the use of formal specifications to describe behaviour.

Assesement : Examination, Individual coursework

The course covers the evolving needs of users compared with the affordances / cost of the technology; for example the change in ratio between the address size and cost/availability of physical memory and backing store.

Assesement : Examination

Students learn testing through the provision of unit tests in the labs and coursework in order to make sure that their code meets the expectations set.

Assesement : Group coursework, Lab work

Bugs are injected into the system and the course requires that students fix those bugs

Assesement : Individual coursework, Group coursework

As students build an enterprise web system over a period of ten weeks, students are given new requirement every week whereby the lecturers act as customers. Students are encouraged to check with the "customers" whether the requirements are met. In this way, students learn that requirements can be initially ambiguous and become more specific over time. They also learn that some requirements may disappear, some others will emerge unexpectedly and some other are open to interpretation.

Assesement : Examination, Group coursework

This course has the following learning outcomes: Discuss the differences (including limitations and advantages) between parametric and non-parametric, between deterministic and probabilistic models, and interpret their results.

Assesement : Examination

There is one part of the course unit, which is dedicated to future trends in programming languages.

Assesement : Examination, Individual coursework

Emphasis is placed on being able to argue and/or demonstrate the correctness and complexity of an algorithmic solution.

Assesement : Examination, Lab work

The student's work will be evaluated against requirements derived as part of the project.

Assesement : Individual coursework